Brief Introduction on My Research
نویسندگان
چکیده
منابع مشابه
Report on my research activities
Level 0 considers logical formulas as data types, and conversely data types as logical specification of program behaviors. Level −1 associates programs with proofs, in a way that the hypotheses of a proof give the specifications of the inputs of the correspondent program and the thesis gives the type of the output. At last, level −2 states a correspondence between the cut reduction of proofs an...
متن کاملneurolaw: a brief introduction.
neurolaw, as an interdisciplinary field which links the brain to law, facilitates the pathway to better understanding of human behavior in order to regulate it accurately through incorporating neuroscience achievements in legal studies. since 1990's, this emerging field, by study on human nervous system as a new dimension of legal phenomena, leads to a more precise explanation for human behavio...
متن کاملA Brief Introduction on Shannon's Information Theory
This is an introduction to Shannon’s Information Theory. It is more like a long note so that it is by no means a complete survey or completely mathematically rigorous. It covers two main topics: entropy and channel capacity. All related concepts will be developed in a totally combinatorial flavor. Some issues usually not addressed in the literature will be discussed here as well. Hopefully, it ...
متن کاملBrief introduction on visual detection method
Traditionally, the “Golden Standard” of bacteria detection is the cultivation method, and the method has an extremely reliable result. However, it would take much time to get the result and the limit of detection is not very satisfactory. Recently many methods based on immunofluorescence probe, a DNA microarray, surface enhanced laser desorption and ionization time of flight mass spectrometry, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Society of Materials Science, Japan
سال: 2014
ISSN: 0514-5163,1880-7488
DOI: 10.2472/jsms.63.633